乔姆斯基(Chomsky)将文法分为4种类型，程序设计语言的大多数语法现象可用其中的( )描述。